angle sum formulas with radicals

join shbcf.ru